Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...) reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

Using a knowledge-based approach, we derive a protocol, MACOM1, for the sequence transmission problem from one agent to a group of agents. The protocol is correct for communication media where deletion and reordering errors may occur. Furthermore, it is shown that after k rounds the agents in the group attain depth k general knowledge about the members of the group and the values of the messages. Then, we adjust this algorithm for multi-agent communication for the process of teamwork. MACOM1 solves (...) the sequence transmission problem from one agent to a group of agents, but does not fully comply with the type of dialogue communication needed for teamwork. The number of messages being communicated per communication between the initiator and the other agents from the group can differ. Furthermore, the teamwork process can require the communication algorithm to handle changes of initiator. We show the adjustments that have to be made to MACOM1 to handle these properties of teamwork. For the new multi-agent communication algorithm, MACOM2, it is shown that the gaining of knowledge required for a successful teamwork process is still guaranteed. (shrink)

Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. They (...) only start revising their strategies when these do not pay off. The model could simulate these findings by recursively attributing its own problem solving skills to the other player, thus increasing the complexity of its own inferences. The model was validated by means of a comparison with findings from a developmental study in which the children demonstrated similar strategic developments. (shrink)

Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. They (...) only start revising their strategies when these do not pay off. The model could simulate these findings by recursively attributing its own problem solving skills to the other player, thus increasing the complexity of its own inferences. The model was validated by means of a comparison with findings from a developmental study in which the children demonstrated similar strategic developments. (shrink)

Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. They (...) only start revising their strategies when these do not pay off. The model could simulate these findings by recursively attributing its own problem solving skills to the other player, thus increasing the complexity of its own inferences. The model was validated by means of a comparison with findings from a developmental study in which the children demonstrated similar strategic developments. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. Keywords Epistemic logic - Cognitive science - Intelligent interaction - Cognitive modeling. (shrink)

Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames.

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...) be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that is believed to involve the application of (...) second-order ToM is the comprehension of sentences that the hearer can only understand by considering the speaker’s alternatives. In this study we tested 40 children between 8 and 10 years old and 27 adult controls on (adaptations of) the three tasks mentioned above: the false belief task, a strategic game, and a sentence comprehension task. The results show interesting differences between adults and children, between the three tasks, and between this study and previous research. (shrink)

In everyday life it is often important to have a mental model of the knowledge, beliefs, desires, and intentions of other people. Sometimes it is even useful to to have a correct model of their model of our own mental states: a second-order Theory of Mind. In order to investigate to what extent adults use and acquire complex skills and strategies in the domains of Theory of Mind and the related skill of natural language use, we conducted an experiment. It (...) was based on a strategic game of imperfect information, in which it was beneficial for participants to have a good mental model of their opponent, and more specifically, to use second-order Theory of Mind. It was also beneficial for them to be aware of pragmatic inferences and of the possibility to choose between logical and pragmatic language use. We found that most participants did not seem to acquire these complex skills during the experiment when being exposed to the game for a number of different trials. Nevertheless, some participants did make use of advanced cognitive skills such as second-order Theory of Mind and appropriate choices between logical and pragmatic language use from the beginning. Thus, the results differ markedly from previous research. (shrink)

This thesis develops an account of ethics called the Linguistic Perspective, which is realist in a practical, non-theoretical sense, and is rooted Wittgenstein’s 'On Certainty'. On this account, normativity is intrinsic to human action and language; the norms of ethics are the logical limits of the most basic, unassailable concepts that practical reasoning requires for intelligibility. Part I lays the groundwork for this account by developing a Tractarian Reading of 'On Certainty'. Here, I contend that 'On Certainty' is primarily concerned (...) with the logical requirements and limits of language, and like the 'Tractatus' it develops these concerns in a realist direction. 'On Certainty', I argue, does so by advancing three key claims about logic: Everything descriptive of a language-game is part of logic; the boundary between logical and empirical propositions is not sharp; logic is founded on action. I investigate these claims, with particular emphasis on how natural human reactions provide logical conditions for the possibility of language. Hinge propositions, I argue, are rooted in these reactions; they point us to the limits of intelligibility of our concepts, though these limits are vague and inarticulable. In Part II, I discuss the practical syllogism and its validity. I argue that practical reasoning is distinct from theoretical reasoning and embodies a different standard of logical validity for inference. This standard is not strict and narrow, but creative and wide open; furthermore, it is an intrinsically ethical standard. Then, I advance my Linguistic Perspective on ethics, according to which human reactions provide the conditions for ethical normativity, just as they do for language. I argue that we can access ethical norms by reflecting on those linguistic concepts that are rooted in the most basic patterns of action, and by identifying the norms of behaviour that ensure the development of those concepts without contradiction. (shrink)

We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...) intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental state (...) types make distinct contributions to generating emotional responses to stories. Finally, the differences between the mental states illuminate how a given story can be both shared with others and at the same time experienced as personal. (shrink)

dialectical frameworks have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations for (...) ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as the maximal element. We also present algorithms to answer the following decision problems: whether a given interpretation is a strongly admissible interpretation of a given ADF, and whether a given argument is strongly acceptable/deniable in a given interpretation of a given ADF. In addition, we show that the strongly admissible semantics of ADFs forms a proper generalization of the strongly admissible semantics of AFs. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

This paper explains a fallacy that often arises in theorizing about human minds. I call it the Factual Belief Fallacy. The Fallacy, roughly, involves drawing conclusions about human psychology that improperly ignore the large backgrounds of mostly accurate factual beliefs people have. The Factual Belief Fallacy has led to significant mistakes in both philosophy of mind and cognitive science of religion. Avoiding it helps us better see the difference between factual belief and religious credence; seeing that difference in turn enables (...) us to pose interesting normative questions about various mental states labeled “belief.”. (shrink)

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of (...) decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

A speaker's use of a declarative sentence in a context has two effects: it expresses a proposition and represents the speaker as knowing that proposition. This essay is about how to explain the second effect. The standard explanation is act-based. A speaker is represented as knowing because their use of the declarative in a context tokens the act-type of assertion and assertions represent knowledge in what's asserted. I propose a semantic explanation on which declaratives covertly host a "know"-parenthetical. A speaker (...) is thereby represented as knowing the proposition expressed because that is the semantic contribution of the parenthetical. I call this view parentheticalism and defend that it better explains knowledge representation than alternatives. As a consequence of outperforming assertoric explanations, parentheticalism opens the door to eliminating the act-type of assertion from linguistic theorizing. (shrink)

William Whewell’s 19th century philosophy of science is sometimes glossed over as a footnote to Kant. There is however a key feature of Whewell’s account worth noting. This is his appeal to Aristotle’s form/matter hylomorphism as a metaphor to explain how mind and world merge in successful scientific inquiry. Whewell’s hylomorphism suggests a middle way between rationalism and empiricism reminiscent of experience pragmatists like Steven Levine’s view that mind and world are entwined in experience. I argue however that Levine does (...) not adequately explain exactly how mind and world entwine. He could nonetheless do so if he appealed to Whewell’s hylomorphic metaphor. We may prefer a reductive metaphysical explanation, but I suggest that pragmatists only have recourse to metaphor in this case. Both reductive and metaphorical explanations can enjoy great explanatory power if they exhibit a suitable measure of what I will call sematic distance. Semantic distance measures how close or how far apart explanandum and explanans are from each other in meaning. Metaphorical explanation - as evident in Whewell’s hylomorphism and as detailed via the notion of semantic distance - presents a valuable new explanatory tool to those who hold that mind and world are entwined sans recourse to metaphysics. (shrink)

Inspired by Bas van Fraassen’s Stance Empiricism, Anjan Chakravartty has developed a pluralistic account of what he calls epistemic stances towards scientific ontology. In this paper, I examine whether Chakravartty’s stance pluralism can exclude epistemic stances that licence pseudo-scientific practices like those found in Scientology. I argue that it cannot. Chakravartty’s stance pluralism is therefore prone to a form of debilitating relativism. I consequently argue that we need (1) some ground or constraint in relation to which epistemic stances can be (...) ranked by degrees, and (2) some way to demarcate science from pseudo-science so that we know what epistemic stances are about. Regarding (1), I argue that empirical detectability can serve as the ground in relation to which epistemic stances are ranked by degrees. Regarding (2), I argue for ranking sciences on a continuum according to established institutional criteria, rather than attempting to draw a strict demarcation. (shrink)

I identify two versions of the scientific anti-realist’s selectionist explanation for the success of science: Bas van Fraassen’s original and K. Brad Wray’s newer interpretation. In Wray’s version, psycho-social factors internal to the scientific community – viz. scientists’ interests, goals, and preferences – explain the theory-selection practices that explain theory-success. I argue that, if Wray’s version were correct, then science should resemble art. In art, the artwork-selection practices that explain artwork-success appear faddish. They are prone to radical change over time. (...) Theory-selection practices that explain theory-success in science are however not faddish. They are mostly stable; that is, long-lived and consistent over time. This is because scientists (explicitly or implicitly) subscribe to what I will call the testability norm: scientific theories must make falsifiable claims about the external physical world. The testability norm and not psycho-sociology explains the theory-selection practices that explain theory-success in science. Contra Wray, scientific anti-realists can then maintain that the external physical world (as expressed in the testability norm) explains theory-success. (shrink)

Is epistocracy epistemically superior to democracy? In this paper, I scrutinize some of the arguments for and against the epistemic superiority of epistocracy. Using empirical results from the literature on the epistemic benefits of diversity as well as the epistemic contributions of citizen science, I strengthen the case against epistocracy and for democracy. Disenfranchising, or otherwise discouraging anyone to participate in political life, on the basis of them not possessing a certain body of (social scientific) knowledge, is untenable also from (...) an epistemic point of view. Rather than focussing on individual competence, we should pay attention to the social constellation through which we produce knowledge to make sure we decrease epistemic loss (by ensuring diversity and inclusion) and increase epistemic productivity (by fostering a multiplicity of perspectives interacting fruitfully). Achieving those epistemic benefits requires a more democratic approach that differs significantly from epistocracy. (shrink)

Several complexity theorists draw a sharp and ontologically robust distinction between (merely) complicated systems and (genuinely) complex systems. I argue that this distinction does not hold. Upon fine-grained analysis, ostensibly complicated systems turn out to be complex systems. The purported boundary between the complicated and the complex appears to be vague rather than sharp. Systems are complex by degrees.

De Cruz and Levy, in their commentaries on Religion as Make-Believe, present distinct questions that can be addressed by clarifying one core idea. De Cruz asks whether one can rationally assess the mental state of religious credence that I theorize. Levy asks why we should not explain the data on religious “belief” merely by positing factual beliefs with religious contents, which happen to be rationally acquired through testimony. To both, I say that having religious credences is p-irrational: a purposeful departure (...) from rational thought and behavior, where the purpose in question is maintaining a group identity. (shrink)

Precision Medicine is driven by the idea that the rapidly increasing range of relatively cheap and efficient self-tracking devices make it feasible to collect multiple kinds of phenotypic data. Advocates of N = 1 research emphasize the countless opportunities personal data provide for optimizing individual health. At the same time, using biomarker data for lifestyle interventions has shown to entail complex challenges. In this paper, we argue that researchers in the field of precision medicine need to address the performative dimension (...) of collecting data. We propose the fun-house mirror as a metaphor for the use of personal health data; each health data source yields a particular type of image that can be regarded as a ‘data mirror’ that is by definition specific and skewed. This requires competence on the part of individuals to adequately interpret the images thus provided. (shrink)

Some alethic pluralists maintain that there are two kinds of truths operant in our alethic discourse: a realist kind and an anti-realist kind. In this paper, we argue that such a binary conception cannot accommodate certain social truths, specifically truths about race. Most alethic pluralists surprisingly overlook the status of racial truths. Douglas Edwards is, however, an exception. In his version of alethic pluralism—Determination Pluralism—racial truths are superassertible (anti-realist) true rather than correspondence (realist) true. We argue that racial truths exhibit (...) features of both superassertibility (anti-realism) and correspondence (realism). This suggests a fuzzy boundary between realist and anti-realist kinds of truth. There may be a continuum rather than a dichotomy of truths. We conclude by sketching one way for alethic pluralists to accommodate such a notion. (shrink)

A naturalistic theory of intentionality is proposed that differs from previous evolutionary and tracking theories. Full-blown intentionality is constructed through a series of evolvable refinements. A first, minimal version of intentionality originates from a conjectured internal process that estimates an organism’s own fitness and that continually modifies the organism. This process produces the directedness of intentionality. The internal estimator can be parsed into intentional components that point to components of the process that produces fitness. It is argued that such intentional (...) components can point to mistaken or non-existing entities. Different Fregian senses of the same reference correspond to different components that have different roles in the estimator. Intentional components that point to intentional components in other organisms produce directedness towards semi-abstract entities. Finally, adding a general, population-wide means of communication enables intentional components that point to fully abstract entities. Intentionality thus naturalized has all of its expected properties: being directed; potentially making errors; possibly pointing to non-existent, abstract, or rigid entities; capable of pointing many-to-one and one-to-many; distinguishing sense and reference; having perspective and grain; and having determinate content. Several examples, such as ‘swampman’ and ‘brain-in-a-vat’, illustrate how the theory can be applied. (shrink)

In the present paper I investigate the role that analogy plays in eighteenth-century biology and in Kant’s philosophy of biology. I will argue that according to Kant, biology, as it was practiced in the eighteenth century, is fundamentally based on analogical reflection. However, precisely because biology is based on analogical reflection, biology cannot be a proper science. I provide two arguments for this interpretation. First, I argue that although analogical reflection is, according to Kant, necessary to comprehend the nature of (...) organisms, it is also necessarily insufficient to fully comprehend the nature of organisms. The upshot of this argument is that for Kant our understanding of organisms is necessarily limited. Second, I argue that Kant did not take biology to be a proper science because biology was based on analogical arguments. I show that Kant stemmed from a philosophical tradition that did not assign analogical arguments an important justificatory role in natural science. Analogy, according to this conception, does not provide us with apodictically certain cognition. Hence, sciences based on analogical arguments cannot constitute proper sciences. (shrink)

[OPEN ACCESS TARGET ARTICLE WITH COMMENTARIES AND RESPONSE] We develop a new model of how human agency-detection capacities and other socio-cognitive biases are involved in forming religious beliefs. Crucially, we distinguish general religious beliefs (such as *God exists*) from personal religious beliefs that directly refer to the agent holding the belief or to her peripersonal time and space (such as *God appeared to _me_ last night*). On our model, people acquire general religious beliefs mostly from their surrounding culture; however, people (...) use agency-intuitions and other low-level experiences to form personal religious beliefs. We call our model the Interactive Religious Experience Model (IREM). IREM inverts received versions of Hyperactive Agency-Detection Device Theory (HADD Theory): instead of saying that agency-intuitions are major causes of religious belief in general, IREM says that general belief in supernatural agents causes people to seek situations that trigger agency-intuitions and other experiences, since these enable one to form personal beliefs about those agents. In addition to developing this model, we (1) present empirical and conceptual difficulties with received versions of HADD Theory, (2) explain how IREM incorporates philosophical work on indexical belief, (3) relate IREM to existing anthropological and psychological research, and (4) propose future empirical research programs based on IREM. (shrink)

Central limit theorem for the functional of jump Markov process. Nguyễn Văn Hữu, Vương Quân Hoàng và Trần Minh Ngọc. Báo cáo: Hội nghị toàn quốc lần thứ III “Xác suất - Thống kê: Nghiên cứu, ứng dụng và giảng dạy” (tr. 34). Ba Vì, Hà Tây, ngày 12-14 tháng 05 năm 2005. Viện Toán học / Trường Đại học Khoa học tự nhiên / Đại học Quốc gia Hà Nội.

Paul Cilliers has developed a novel post-structural approach to complexity that has influenced several writers contributing to the current complexity literature. Concomitantly however, Cilliers advocates for modelling complex systems using connectionist neural networks (rather than analytic, rule-based models). In this paper, I argue that it is dilemmic to simultaneously hold these two positions. Cilliers’ post-structural interpretation of complexity states that models of complex systems are always contextual and provisional; there is no exclusive model of complex systems. This sentiment however appears (...) at odds with Cilliers’ promotion of connectionist neural networks as the best way to model complex systems. The lesson is that those who currently follow Cilliers’ post-structural approach to complexity cannot also develop a preferred model of complex systems, and those who currently advocate for some preferred model of complex systems cannot adopt the post-structural approach to complexity without giving up the purported objectivity and/or superiority of their preferred model. (shrink)

This paper is intended as a gateway to two 2000-year-old manuscripts of the Analects. The first two sections discuss the archaeological context of the discoveries and analyse the manuscripts themselves, including characteristic features of the bamboo strips and the texts inked thereon and notable differences between these and other Analects versions. In these sections, I also critically evaluate present-day Analects studies and offer alternative hypotheses where there is room for debate. The third and final section of the paper discusses what (...) I consider the most fascinating (and most complex) issue regarding the manuscripts: their provenance. In that section, I examine when, where, and why the Analects was copied onto the bamboo strips. The ultimate goal of this paper is to present a nuanced understanding of the two bamboo manuscripts that conveys the fascinating insights they offer while also exploring the limitations of what these manuscripts can actually tell us. (shrink)

Prima facie, we make successful decisions as we act on and intervene in the world day-to-day. Epistemologists are often concerned with whether rationality is involved in such decision-making practices, and, if so, to what degree. Some, particularly in the post-structuralist tradition, argue that successful decision-making occurs via an existential leap into the unknown rather than via any determinant or criterion such as rationality. I call this view radical voluntarism (RV). Proponents of RV include those who subscribe to a view they (...) call Critical Complexity (CC). In this paper, I argue that CC presents a false dichotomy when it conceives of rationality in Cartesian – i.e. ideal and transcendental – terms, and then concludes that RV is the proper alternative. I then outline a pragmatist rationality informed by recent work in psychology on bounded rationality, ecological rationality, and specifically embodied rationality. Such a pragmatist rationality seems to be compatible with the tenets of post-structuralism, and can therefore replace RV in CC. (shrink)

In current society, eating is most definitely a gendered act: that is, what we eat and how we eat it factors in both the construction and the performance of gender. Furthermore, eating is a gendered act with consequences that go far beyond whether one orders a steak or a salad for dinner. In the first half of this paper, I identify the dominant myths surrounding both female and male eating, and I show that those myths contribute in important ways to (...) cultural constructions of male and female appetites more generally speaking. In the second half, I argue that the Christian church should share feminism’s perception of these current cultural myths as fundamentally disordered, and I claim that the Christian traditions of fasting and feasting present us with a concrete means to counter those damaging conceptions and reclaim a healthy attitude toward our hunger. (shrink)

In this work, we consider the problem of the approximate hedging of a contingent claim in the minimum mean square deviation criterion. A theorem on martingaỉe representation in the case of discrete time and an application of obtained result for semi-continous market model are given.

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

Trước những lo ngại về khí hậu toàn cầu ngày càng gia tăng, các quốc gia trên thế giới đã ký kết thỏa thuận toàn cầu nhằm thể hiện sự cam kết mạnh mẽ để chung tay tìm kiếm các giải pháp sáng tạo để giảm thiểu phát thải khí nhà kính và tác động của nó đối với môi trường. Việt Nam là một trong những thành viên tích cực tham gia và có trách nhiệm, nhưng đồng thời cũng (...) là một nước bị ảnh hưởng nặng nề nhất của biến đổi khí hậu. Nhận thấy sự cần thiết phải giải quyết vấn đề biến đổi khí hậu, Việt Nam đang triển khai nghiên cứu việc thành lập thị trường các-bon trong nước, trong đó việc xây dựng và vận hành một hệ thống lưu ký các-bon được coi là một trụ cột quan trọng, trên cơ sở học hỏi kinh nghiệm từ các mô hình trên thế giới. Bài viết này đi sâu vào việc phân tích, đánh giá điều kiện, bối cảnh của Việt Nam và rút ra bài học kinh nghiệm từ các hệ thống lưu ký trên thế giới để đề xuất các giải pháp xây dựng một hệ thống lưu ký các- bon hiệu quả cho Việt Nam. (shrink)

Elizabeth Anscombe is well-known for her insistence that there are absolutely prohibited actions, though she is somewhat obscure about why this is so. Nonetheless, I contend in this paper that Anscombe is more concerned with the epistemology of absolute prohibitions, and that her thought on connatural moral knowledge – which resembles moral intuition – is key to understanding her thought on moral prohibitions. I shall identify key features of Anscombe’s moral epistemology before turning to investigate its sources, examining the roots (...) of connaturality in Aquinas and comparing it with rationalist ethical intuitionism, which Anscombe differs from in rejecting “good” as a simple, non-natural property. I then develop a two-stage argument about absolute prohibition: The first will be loosely Thomistic, while the second will suggest how Anscombe’s absolute prohibitions can be seen as a continuation of Wittgenstein’s anti-scepticism in On Certainty. I develop an account of absolute prohibitions as a form of Wittgensteinian hinge proposition – they are not the conclusions of deductive arguments, but the foundations for intelligibility in action. (shrink)

This paper challenges the two aims of Michael Cholbi’s Rational Will View (RWV) which are to (1) offer an account of why paternalism is presumptively or pro tanto wrong and (2) relate the relative wrongness of paternalistic interventions to the rational powers that such interventions target (Sections 1 and 2). Some of a paternalizee’s choices harm their future selves in ways that would be wrong if they were done to others. I claim this challenges Cholbi’s second aim (2) because the (...) cases his account deems particularly wrong turn out to be not to be as wrongful as expected (Section 3). When this second aim is challenged, it has knock-on effects on the capacity of the RWV to discern which cases of paternalism are generally more wrongful than others, which undermines Cholbi’s first aim (1). I consider responses on behalf of Cholbi’s view but conclude that the account is insufficient on its own to vindicate its two aims (Section 4). Finally, I draw on recent work that adopts ideas from the practical reasoning literature to help determine paternalism’s wrongness (Section 5). I argue this helps Cholbi’s view withstand my objections, but we must remain skeptical of why interceding with rational powers is particularly wrong. (shrink)

We argue that knowledge is not the norm of belief given that ‘I believe’ is used to hedge. We explore the consequences of this argument for the normative relationship between belief and assertion.